181. Scheduling in Parallel Computing Systems
پدیدآورنده : by Shaharuddin Salleh, Albert Y. Zomaya.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Information theory.,Logic, Symbolic and mathematical.
182. Soft Computing for Knowledge Discovery
پدیدآورنده : by James G. Shanahan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Data structures (Computer science).,Logic, Symbolic and mathematical.
183. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Sorting )Electronic computers(-- Congresses,، Abstract data types )Computer science(-- Congresses
رده :
Q
334
.
S632
1990
184. Special Topics in Mathematics for Computer Scientists
پدیدآورنده : \ Ernst-Erich Doberkat
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات
رده :
QA
76
.
9
..
M35S6
2015
E-Book
,
185. Structural Complexity I
پدیدآورنده : by José Luis Balcázar, Josep Díaz, Joaquim Gabarró.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic, Symbolic and mathematical.
186. Structural Complexity II
پدیدآورنده : by José Luis Balcázar, Josep Díaz, Joaquim Gabarró.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Logic, Symbolic and mathematical.
رده :
QA267
.
B956
1990
187. Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht
پدیدآورنده : Jan Mycielsik, Grzegorz Rozenberg, Arto Salomaa, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Ehrenfeucht, Andrzej,، Computer science,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1261
188. Substructural logics
پدیدآورنده : edited by Peter Schroeder-Heister and Kosta Dosen
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computer science,، Logic, Symbolic and mathematical
رده :
QA
76
.
S85
1993
189. Subsystems of Second Order Arithmetic
پدیدآورنده : by Stephen G. Simpson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.
رده :
HF1008
.
B978
1999
190. The Logic of theory change : Workshop, Konstanz, FRG, October 13-15, 1989 : proceedings
پدیدآورنده : A. Fuhrmann, M. Morreau )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
465
191. The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computer science-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
L5663
1991
192. The essence of logic
پدیدآورنده : Kelly, John Joseph
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer science , Logic, Symbolic and mathematical
رده :
QA
76
.
K396
1996
193. The logic of information structures
پدیدآورنده : Wansing, Heinrich T.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
681
194. The logic of information structures
پدیدآورنده : Wansing, Heinrich
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
W235
1993
195. Typed Lambda Calculi and Applications :
پدیدآورنده : edited by Marc Bezem, Jan Friso Groote.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Logic, Symbolic and mathematical.
196. Uncertainty Analysis in Engineering and Sciences: Fuzzy Logic, Statistics, and Neural Network Approach
پدیدآورنده : by Bilal M. Ayyub, Madan M. Gupta.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.,Mathematical optimization.,Operations research.
197. Vivid logic
پدیدآورنده : / Gerd Wagner
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Expert systems (Computer science),Logic, Symbolic and mathematical.
رده :
QA
,
76
.
76
,.
E95
,
W33
,
1994
198. Vivid logic :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Expert systems (Computer science) ; Logic, Symbolic and mathematical. ;
199. Vivid logic : knowledge-based reasoning with two kinds of negation
پدیدآورنده : Wagner, Gerd, 7591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Expert systems )Computer science(,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
764
200. What is a logical system?
پدیدآورنده : edited by D.M. Gabbay
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Computer science
رده :
QA
9
.
2
.
W48
1994
